home *** CD-ROM | disk | FTP | other *** search
/ Cre@te Online 2000 December / Cre@teOnline CD05.iso / MacSoft / XML ConsoleMax.sea / XML ConsoleMax / Required / swingall.jar / javax / swing / text / StringContent.class (.txt) < prev    next >
Encoding:
Java Class File  |  1999-07-15  |  4.0 KB  |  181 lines

  1. package javax.swing.text;
  2.  
  3. import java.io.Serializable;
  4. import java.util.Vector;
  5. import javax.swing.undo.UndoableEdit;
  6.  
  7. public final class StringContent implements AbstractDocument.Content, Serializable {
  8.    private static final char[] empty = new char[0];
  9.    private char[] data;
  10.    private int count;
  11.    transient Vector marks;
  12.  
  13.    public StringContent() {
  14.       this(10);
  15.    }
  16.  
  17.    public StringContent(int var1) {
  18.       if (var1 < 1) {
  19.          var1 = 1;
  20.       }
  21.  
  22.       this.data = new char[var1];
  23.       this.data[0] = '\n';
  24.       this.count = 1;
  25.    }
  26.  
  27.    public Position createPosition(int var1) throws BadLocationException {
  28.       if (this.marks == null) {
  29.          this.marks = new Vector();
  30.       }
  31.  
  32.       return new StickyPosition(this, var1);
  33.    }
  34.  
  35.    public void getChars(int var1, int var2, Segment var3) throws BadLocationException {
  36.       if (var1 + var2 > this.count) {
  37.          throw new BadLocationException("Invalid location", this.count);
  38.       } else {
  39.          var3.array = this.data;
  40.          var3.offset = var1;
  41.          var3.count = var2;
  42.       }
  43.    }
  44.  
  45.    protected Vector getPositionsInRange(Vector var1, int var2, int var3) {
  46.       int var4 = this.marks.size();
  47.       int var5 = var2 + var3;
  48.       Vector var6 = var1 == null ? new Vector() : var1;
  49.  
  50.       for(int var7 = 0; var7 < var4; ++var7) {
  51.          PosRec var8 = (PosRec)this.marks.elementAt(var7);
  52.          if (var8.unused) {
  53.             this.marks.removeElementAt(var7);
  54.             --var7;
  55.             --var4;
  56.          } else if (var8.offset >= var2 && var8.offset <= var5) {
  57.             var6.addElement(new UndoPosRef(this, var8));
  58.          }
  59.       }
  60.  
  61.       return var6;
  62.    }
  63.  
  64.    public String getString(int var1, int var2) throws BadLocationException {
  65.       if (var1 + var2 > this.count) {
  66.          throw new BadLocationException("Invalid range", this.count);
  67.       } else {
  68.          return new String(this.data, var1, var2);
  69.       }
  70.    }
  71.  
  72.    public UndoableEdit insertString(int var1, String var2) throws BadLocationException {
  73.       if (var1 >= this.count) {
  74.          throw new BadLocationException("Invalid location", this.count);
  75.       } else {
  76.          char[] var3 = var2.toCharArray();
  77.          this.replace(var1, 0, var3, 0, var3.length);
  78.          if (this.marks != null) {
  79.             this.updateMarksForInsert(var1, var2.length());
  80.          }
  81.  
  82.          return new InsertUndo(this, var1, var2.length());
  83.       }
  84.    }
  85.  
  86.    public int length() {
  87.       return this.count;
  88.    }
  89.  
  90.    public UndoableEdit remove(int var1, int var2) throws BadLocationException {
  91.       if (var1 + var2 >= this.count) {
  92.          throw new BadLocationException("Invalid range", this.count);
  93.       } else {
  94.          String var3 = this.getString(var1, var2);
  95.          RemoveUndo var4 = new RemoveUndo(this, var1, var3);
  96.          this.replace(var1, var2, empty, 0, 0);
  97.          if (this.marks != null) {
  98.             this.updateMarksForRemove(var1, var2);
  99.          }
  100.  
  101.          return var4;
  102.       }
  103.    }
  104.  
  105.    void replace(int var1, int var2, char[] var3, int var4, int var5) {
  106.       int var6 = var5 - var2;
  107.       int var7 = var1 + var2;
  108.       int var8 = this.count - var7;
  109.       int var9 = var7 + var6;
  110.       if (this.count + var6 >= this.data.length) {
  111.          int var10 = Math.max(2 * this.data.length, this.count + var6);
  112.          char[] var11 = new char[var10];
  113.          System.arraycopy(this.data, 0, var11, 0, var1);
  114.          System.arraycopy(var3, var4, var11, var1, var5);
  115.          System.arraycopy(this.data, var7, var11, var9, var8);
  116.          this.data = var11;
  117.       } else {
  118.          System.arraycopy(this.data, var7, this.data, var9, var8);
  119.          System.arraycopy(var3, var4, this.data, var1, var5);
  120.       }
  121.  
  122.       this.count += var6;
  123.    }
  124.  
  125.    void resize(int var1) {
  126.       char[] var2 = new char[var1];
  127.       System.arraycopy(this.data, 0, var2, 0, Math.min(var1, this.count));
  128.       this.data = var2;
  129.    }
  130.  
  131.    synchronized void updateMarksForInsert(int var1, int var2) {
  132.       if (var1 == 0) {
  133.          var1 = 1;
  134.       }
  135.  
  136.       int var3 = this.marks.size();
  137.  
  138.       for(int var4 = 0; var4 < var3; ++var4) {
  139.          PosRec var5 = (PosRec)this.marks.elementAt(var4);
  140.          if (var5.unused) {
  141.             this.marks.removeElementAt(var4);
  142.             --var4;
  143.             --var3;
  144.          } else if (var5.offset >= var1) {
  145.             var5.offset += var2;
  146.          }
  147.       }
  148.  
  149.    }
  150.  
  151.    synchronized void updateMarksForRemove(int var1, int var2) {
  152.       int var3 = this.marks.size();
  153.  
  154.       for(int var4 = 0; var4 < var3; ++var4) {
  155.          PosRec var5 = (PosRec)this.marks.elementAt(var4);
  156.          if (var5.unused) {
  157.             this.marks.removeElementAt(var4);
  158.             --var4;
  159.             --var3;
  160.          } else if (var5.offset >= var1 + var2) {
  161.             var5.offset -= var2;
  162.          } else if (var5.offset >= var1) {
  163.             var5.offset = var1;
  164.          }
  165.       }
  166.  
  167.    }
  168.  
  169.    protected void updateUndoPositions(Vector var1) {
  170.       for(int var2 = var1.size() - 1; var2 >= 0; --var2) {
  171.          UndoPosRef var3 = (UndoPosRef)var1.elementAt(var2);
  172.          if (var3.rec.unused) {
  173.             var1.removeElementAt(var2);
  174.          } else {
  175.             var3.resetLocation();
  176.          }
  177.       }
  178.  
  179.    }
  180. }
  181.